A process algebra framework for multi-scale modelling of biological systems
نویسندگان
چکیده
منابع مشابه
A process algebra framework for multi-scale modelling of biological systems
We introduce a novel process algebra for modelling biological systems at multiple scales, called process algebra with hooks (PAH). Processes represent biological entities, such as molecules, cells and tissues, while two algebraic operators, both symmetric, define composition of processes within and between scales. Composed actions allow for biological events to interact within and between scale...
متن کاملMulti-scale modelling of biological systems in process algebra
There is a growing interest in combining different levels of detail of biological phenomena into unique multi-scale models that represent both biochemical details and higher order structures such as cells, tissues or organs. The state of the art of multi-scale models presents a variety of approaches often tailored around specific problems and composed of a combination of mathematical techniques...
متن کاملA framework for multi-scale modelling.
We review a methodology to design, implement and execute multi-scale and multi-science numerical simulations. We identify important ingredients of multi-scale modelling and give a precise definition of them. Our framework assumes that a multi-scale model can be formulated in terms of a collection of coupled single-scale submodels. With concepts such as the scale separation map, the generic subm...
متن کاملAspects of multiscale modelling in a process algebra for biological systems
We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for modelling biological systems actions are instantaneous. When different scale levels of biological systems are considered in a single model, one should take into account that actions at a level may take much more time than...
متن کاملA Framework for Modelling Multi-agent Systems
Modelling and reasoning about multi-agent systems has been one of the main problems for designers of distributed systems. In this paper we present a logical framework for representing and reasoning about these systems. The framework uses the idea of contexts as presented by Giunchiglia and his colleagues and the ideas regarding multi-agent systems as presented by Morley, George , and Rao. The n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2013
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2013.03.018